Automating Program Transformations based on
نویسندگان
چکیده
viii
منابع مشابه
Automating the Evolution of Object-Oriented Systems
A formal framework is presented for maintaining behavior and consistency of object-oriented systems during software evolution. The framework eeectively couples a change avoidance approach based on Adaptive Object-Oriented Software with a change management mechanism to fully automate evolution. Schema transformations may render existing objects and programs inconsistent. The framework identiies ...
متن کاملAutomating the Evolution of Object
A formal framework is presented for maintaining behavior and consistency of object-oriented systems during software evolution. The framework eeectively couples a change avoidance approach based on Adaptive Object-Oriented Software with a change management mechanism to fully automate evolution. Schema transformations may render existing objects and programs inconsistent. The framework identiies ...
متن کاملAutomating Three Modes of Evolution for Object-Oriented Software Architectures
1 Architectural evolution is a costly yet unavoidable consequence of a successful application. One method for reducing cost is to automate aspects of the evolutionary cycle when possible. Three kinds of architectural evolution in object-oriented systems are: schema transformations, the introduction of design pattern microarchitectures, and the hot-spot-drivenapproach. This paper shows that all ...
متن کاملAutomating Mathematical Program Transformations
Program transformations are often not automated because their definitions do not specify the many details needed to implement them correctly in code. We define two, the conversion of Boolean expressions into integer inequalities and the convex hull transformation of disjunctive constraints, using a novel style based on set theory. This treats constraints as syntactic objects, allowing mappings ...
متن کاملMetaprogramming in the Large
Software evolution demands continuous adaptation of software systems to continuously changing requirements. Our goal is to cope with software evolution by automating program transformation and system recon guration. We show that this can be achieved with a static metaprogramming facility and a library of suitable metaprograms. We show that former approaches of program transformations are not su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014